$\forall$$n$, $m$:$\mathbb{N}$, $L$, ${\it L'}$:(Id List). ($n$ $\leq$ $m$) $\Rightarrow$ $L$ $\subseteq$ ${\it L'}$ $\Rightarrow$ (Namer($m$;${\it L'}$) $\subseteq$r Namer($n$;$L$))